Rhénanie-du-Nord-Westphalie And NotMichael Codish
List of bibliographic references
Number of relevant bibliographic references: 38.Ident. | Authors (with country if any) | Title |
---|---|---|
000148 | Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
001D45 | Mélanie Uth [Allemagne] | L’évolution diachronique des suffixes –ment et –(ai)son et la question de la correspondance vernaculaire de –(at)ion |
001D84 | Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis] | Theoretical Aspects of Computer Science |
001E91 | Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
002564 | R. Addou [France] ; A K Shukla [France] ; S. Alarcn Villaseca [France] ; Gaudry [France] ; Th Deniozou [France] ; M. Heggen [Allemagne] ; M. Feuerbacher [Allemagne] ; R. Widmer [Suisse] ; O. Grning [Suisse] ; V. Fourne [France] ; J-M Dubois [France] ; J. Ledieu [France] | Lead adsorption on the Al13Co4(100) surface: heterogeneous nucleation and pseudomorphic growth |
002647 | Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne] | Proving Termination by Dependency Pairs and Inductive Theorem Proving |
002673 | Yves Rangoni [France] ; Abdel Belaïd [France] ; Szilárd Vajda [Allemagne, États-Unis] | Labelling logical structures of document images using a dynamic perceptive neural network |
003009 | Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne] | Tool Support for Dynamic Development Processes |
003080 | Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
003126 | Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
003883 | Wolfgang Thomas [Allemagne] | The Reachability Problem over Infinite Graphs |
003886 | Christian Schmitt [Allemagne] | The French Language and Questions of Identity, Edited by Wendy Ayres-Bennett and Mari C. Jones |
006A45 | Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon, Allemagne] | Transformation techniques for context-sensitive rewrite systems |
006B88 | René Thiemann [Allemagne] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Allemagne] | Improved Modular Termination Proofs Using Dependency Pairs |
008748 | Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
008762 | Volker Gruhn [Allemagne] | Process-Centered Software Engineering Environments, A Brief History and Future Challenges |
009309 | Volker Gruhn [Allemagne] ; Ursula Wellen [Allemagne] | Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models |
009403 | Simon Becker [Allemagne] ; Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne] | A Delegation Based Model for Distributed Software Process Management |
009F40 | Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne] | AHEAD: A Graph-Based System for Modeling and Managing Development Processes |
00A903 | Stephan Kepser [Allemagne] ; Jörn Richts [Allemagne] | UniMoK: A System for Combining Equational Unification Algorithms |
00A913 | Bernhard Westfechtel [Allemagne] | Tool Integration |
00A948 | Bernhard Westfechtel [Allemagne] | Process Management |
00A986 | Bernhard Westfechtel [Allemagne] | Introduction |
00AA15 | Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis] | Deciding the Word Problem in the Union of Equational Theories Sharing Constructors |
00AA47 | Bernhard Westfechtel [Allemagne] | Activity Management |
00B332 | Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] | Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes |
00BC86 | Klaus Pohl [Allemagne] ; Klaus Weidenhaupt [Allemagne] | A contextual approach for process-integrated tools |
00CD64 | Wilfried Buchholz [Allemagne] ; Adam Cichon [France] ; Andreas Weiermann [Allemagne] | A Uniform Approach to Fundamental Sequences and Hierarchies |
00D211 | Alfred Bröckers [Allemagne] ; Volker Gruhn [Allemagne] | Computer-aided verification of software process model properties |
00D634 | Wolfgang Emmerich [Allemagne] ; Wilhelm Sch Fer [Allemagne] ; Jim Welsh [Australie] | Suitable databases for process-centred environments do not yet exist |
00D641 | Wilhelm Sch Fer [Allemagne] | Session introduction |
00D644 | Gernot Starke [Allemagne] ; Michael Von Der Beeck [Allemagne] | SA/CM/IM for process modelling |
00DE40 | Mario Castellucci [Allemagne] ; Peter Kaufmann [Allemagne] ; Paul Bischof [Suisse] | Extracellular matrix influences hormone and protein production by human chorionic villi |
00E038 | Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] ; Wilhelm Sch Fer [Allemagne] | Systematic development of formal software process models |
00E046 | Harald Ganzinger [Allemagne] | Order-sorted completion: The many-sorted way |
00E366 | Harald Ganzinger [Allemagne] | Completion with history-dependent complexities for generated equations |
00E370 | Hubert Bertling [Allemagne] ; Harald Ganzinger [Allemagne] ; Renate Sch Fers [Allemagne] | CEC: A system for the completion of conditional equational specifications |
00E614 | Harald Ganzinger [Allemagne] | Ground term confluence in parametric conditional equational specifications |
This area was generated with Dilib version V0.6.33. |